/* Cache operations. */
#include <asm/cacheflush.h>

void __inval_cache_range(virt_addr_t start, virt_addr_t end)
{

}